The Transition from VDL to VDM
نویسنده
چکیده
This paper describes (one person's view of) how the Vienna Development Method grew out of the earlier work on the Vienna De nition Language. Both of these activities were undertaken at the IBM Laboratory Vienna during the 1960s and 70s.
منابع مشابه
Defining Visually Descriptive Language
In this paper, we introduce the notion of visually descriptive language (VDL) – intuitively a text segment whose truth can be confirmed by visual sense alone. VDL can be exploited in many vision-based tasks, e.g. image interpretation and story illustration. In contrast to previous work requiring pre-aligned texts and images, we propose a broader definition of VDL that extends to a much larger r...
متن کاملTobacco VDL gene encodes a plastid DEAD box RNA helicase and is involved in chloroplast differentiation and plant morphogenesis.
The recessive nuclear vdl (for variegated and distorted leaf) mutant of tobacco was obtained by T-DNA insertion and characterized by variegated leaves and abnormal roots and flowers. Affected leaf tissues were white and distorted, lacked palisadic cells, and contained undifferentiated plastids. The variegation was due to phenotypic, rather than genetic, instability. Genomic and cDNA clones were...
متن کاملDatabase Development of a Work - Flow Planningand Tracking System Using VDM -
This paper presents the techniques and experiences of an industrial project, applying the formal method VDM in order to develop a work-ow planning and tracking system. A method for creating formal models of relational databases has been developed | speciically, formal representations of SQL datatypes, a model of the structure of a database including primary and foreign keys and the formulation ...
متن کاملDatabase Development of a Work-Flow Planning and Tracking System Using VDM-SL
This paper presents the techniques and experiences of an industrial project, applying the formal method VDM in order to develop a workow planning and tracking system. A method for creating formal models of relational databases has been developed | speci cally, formal representations of SQL datatypes, a model of the structure of a database including primary and foreign keys and the formulation o...
متن کاملReasoning about Z Speciications: a Vdm Perspective
This paper discusses how speciication analysis and veriication techniques from VDM could be transferred to Z. It starts by comparing Z and VDM in terms of the mathematical and speciication notations they use. It explains the VDM approach to reasoning about speciications, as supported by the mural tool-set, and compares VDM's Logic of Partial Functions with the classical approach. Finally , it o...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید
ثبت ناماگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید
ورودعنوان ژورنال:
- J. UCS
دوره 7 شماره
صفحات -
تاریخ انتشار 2001